Parts · Full · Next ▶

top

Generische Programmierung in Java wird durch sog. Generics seit Java 1.5 ermöglicht. Der Begriff steht synonym für „parametrisierte Typen“. Die Idee dahinter ist, zusätzliche Variablen für Datentypen einzuführen. Diese Typ-Variablen repräsentieren zum Zeitpunkt der Implementierung unbekannte Typen. Erst bei der Verwendung der Klassen, Schnittstellen und Methoden werden diese Typ-Variablen durch konkrete Typen ersetzt. Damit kann typsichere Programmierung meistens gewährleistet werden. Jedoch nicht immer.cite-ref-1[1]

• Das Konzept

• Praktische Beispiele

• Varianzfälle

• Invarianz

• Kovarianz

• Kontravarianz

• Uneingeschränkte parametrische Polymorphie

• Weblinks

• Einzelnachweise

Ab Version 5.0 („Tiger“, 2004 veröffentlicht) steht auch in der Programmiersprache Java mit den Generics ein syntaktisches Mittel für die generische Programmierung zur Verfügung. Damit lassen sich Klassen und Methoden (Methoden auch unabhängig von ihren Klassen) mit Typen parametrisieren. Damit werden der Sprache einige ähnliche Möglichkeiten eröffnet, die sich vergleichbar bei den Templates in C++ bieten.

Prinzipiell gibt es aber durchaus wesentliche Unterschiede. Während in Java über die Schnittstelle der Typparameter parametrisiert wird, wird in C++ direkt über den Typ des Typparameters selbst parametrisiert. Der Quelltext eines C++-Templates muss für den Anwender (d. h. beim Einsetzen des Typparameters) verfügbar sein, während ein generischer Java-Typ auch als übersetzter Bytecode veröffentlicht werden kann. Für verschiedene konkret verwendete Typparameter produziert der Compiler duplizierten Zielcode.

Parts · Full · Next ▶